/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package fr.ove.openmath.jome.model;

/**
 *
 * @author Mr.Sam
 */
import fr.ove.openmath.jome.model.FormulaTreeStructure;
import fr.ove.openmath.jome.model.events.ModelEvent;
import fr.ove.openmath.jome.model.evaluation.*;

/**
* @author © 2000 DIRAT Laurent
* @version 2.1 10/01/2000
*/
public class StringLowerCaseConstant extends Constant {
    // Juste pour des cas spéciaux qui font que la syntaxe linéaire de la constante est faite en majucules,
    // par exemple e (exp(1)) et i (i^2 = -1) alors que l'affichage de la constante est fait en minuscules.
    /**
    * Returns the value.
    */
    public String getValue() {
        return (super.getValue()).toLowerCase();
    }
}
